Flavours of Plonk

Secret Circuit Plonk

Make the selector and permutation polynomials witness, accumulated hashes of them as part of the evaluation, provide hashes as public input.

Self modifying Plonk

Add a second permutation check, have the permutation polynomial be a witness.

• Check that it's valid by verifying that it accumulates to the identity permutation.